if ((msr_content & EFER_LME) ^
test_bit(VMX_CPU_STATE_LME_ENABLED,
&vc->arch.hvm_vmx.cpu_state)){
- if (test_bit(VMX_CPU_STATE_PG_ENABLED,
- &vc->arch.hvm_vmx.cpu_state) ||
- !test_bit(VMX_CPU_STATE_PAE_ENABLED,
- &vc->arch.hvm_vmx.cpu_state)){
+ if ( vmx_paging_enabled(vc) ||
+ !test_bit(VMX_CPU_STATE_PAE_ENABLED,
+ &vc->arch.hvm_vmx.cpu_state)) {
vmx_inject_exception(vc, TRAP_gp_fault, 0);
}
}
void vmx_enter_scheduler(void);
enum {
- VMX_CPU_STATE_PG_ENABLED=0,
- VMX_CPU_STATE_PAE_ENABLED,
+ VMX_CPU_STATE_PAE_ENABLED=0,
VMX_CPU_STATE_LME_ENABLED,
VMX_CPU_STATE_LMA_ENABLED,
VMX_CPU_STATE_ASSIST_ENABLED,